# Copyright 2020, The University of Melbourne (ABN 84 002 705 224)
#
# SPDX-License-Identifier: CC-BY-SA-4.0
#

@inproceedings{Murray_MBGK_12,
    author           = {Murray, Toby and Matichuk, Daniel and Brassil, Matthew and Gammie, Peter and Klein, Gerwin},
    editor           = {{Chris Hawblitzel and Dale Miller}},
    month            = dec,
    year             = {2012},
    keywords         = {information flow, refinement, scheduling, state monads},
    address          = {Kyoto, Japan},
    title            = {Noninterference for Operating System Kernels},
    pages            = {126--142},
    booktitle        = {International Conference on Certified Programs and Proofs},
    paperurl         = {https://ts.data61.csiro.au/publications/nicta_full_text/6004.pdf},
    publisher        = {Springer},
    isbn             = {978-3-642-35307-9}
  }

@INPROCEEDINGS{Goguen_Meseguer_84,
  author={J. A. {Goguen} and J. {Meseguer}},
  booktitle={1984 IEEE Symposium on Security and Privacy},
  title={Unwinding and Inference Control},
  year={1984},
  volume={},
  number={},
  pages={75--87},
  publisher = {{IEEE} Computer Society},
}
